Sitzung vom 15. Januar 1917
نویسندگان
چکیده
منابع مشابه
FG SRE: Bericht und Beiträge vom 15. Workshop Software-Reengineering vom 6.- 8. Mai 2013 in Bad Honnef
Die Workshops Software Reengineering (WSR) wurden mit dem ersten WSR 1999 ins Leben gerufen, um neben den internationalen erfolgreichen Tagungen im Bereich Reengineering auch ein deutschsprachiges Diskussionsforum zu schaffen. Ziel der Treffen ist es, einander kennen zu lernen und auf diesem Wege eine direkte Basis der Kooperation zu schaffen, so dass das Themengebiet eine weitere Konsolidierun...
متن کاملFG TAV: Bericht und Beiträge vom 34. Treffen der Fachgruppe vom 14. und 15. Februar 2013 in Aachen
Das Vortragsprogramm eröffnete Carsten Weise mit seiner Keynote Testen mobiler, verteilter Netzwerke mittels symbolischer Ausführung welche die symbolische Ausführung von Programkode in der industriellen Praxis nahebrachte. Im zweiten Vortrag Konzeption und Evaluation eines delta-orientierten modellbasierten Testverfahrens für Softwareproduktlinienstellte der Preisträger des GI TAV-Award 2011, ...
متن کاملDagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme
The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across buses and networks causes high interaction complexity. We propose a model-based development approach to handle this complexity. We model the individual functionalities of the system – the services – independently from eac...
متن کاملFG TAV: Bericht vom 25. Fachgruppentreffen am 15. und 16. Februar 2007 in Düsseldorf
Zur Erinnerung: Der (damalige) Arbeitskreis Test, Analyse und Verifikation von Software (TAV) der Fachgruppe Softwaretechnik wurde durch Andreas Spillner und Peter Liggesmeyer im Juni 1991 ins Leben gerufen. Das 8. Treffen im Oktober 1995 war dann das Gründungstreffen der Fachgruppe TAV. Dieses Jahr nun konnte die FG TAV ein Jubiläum feiern, denn das 25. Treffen fand am 15. und 16. Februar 2007...
متن کاملHilbert's programs: 1917--1922
Hilbert's finitist program was not created at the beginning of the twenties solely to counteract Brouwer's intuitionism, but rather emerged out of broad philosophical reflections on the foundations of mathematics and out of detailed logical work; that is evident from notes of lecture courses that were given by Hilbert and prepared in collaboration with Bernays during the period from 1917 to 192...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Berichte der deutschen chemischen Gesellschaft
سال: 1917
ISSN: 0365-9496,1099-0682
DOI: 10.1002/cber.19170500135